Optimal. Leaf size=123 \[ \frac {2 e^{i a d} (e x)^{1+m} \left (c x^n\right )^{i b d} \, _2F_1\left (1,-\frac {i+i m-b d n}{2 b d n};-\frac {i (1+m)-3 b d n}{2 b d n};e^{2 i a d} \left (c x^n\right )^{2 i b d}\right )}{e (i (1+m)-b d n)} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.06, antiderivative size = 118, normalized size of antiderivative = 0.96, number of steps
used = 3, number of rules used = 3, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.158, Rules used = {4606, 4602,
371} \begin {gather*} \frac {2 e^{i a d} (e x)^{m+1} \left (c x^n\right )^{i b d} \, _2F_1\left (1,\frac {1}{2} \left (1-\frac {i (m+1)}{b d n}\right );-\frac {i (m+1)-3 b d n}{2 b d n};e^{2 i a d} \left (c x^n\right )^{2 i b d}\right )}{e (-b d n+i (m+1))} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 371
Rule 4602
Rule 4606
Rubi steps
\begin {align*} \int (e x)^m \csc \left (d \left (a+b \log \left (c x^n\right )\right )\right ) \, dx &=\frac {\left ((e x)^{1+m} \left (c x^n\right )^{-\frac {1+m}{n}}\right ) \text {Subst}\left (\int x^{-1+\frac {1+m}{n}} \csc (d (a+b \log (x))) \, dx,x,c x^n\right )}{e n}\\ &=-\frac {\left (2 i e^{i a d} (e x)^{1+m} \left (c x^n\right )^{-\frac {1+m}{n}}\right ) \text {Subst}\left (\int \frac {x^{-1+i b d+\frac {1+m}{n}}}{1-e^{2 i a d} x^{2 i b d}} \, dx,x,c x^n\right )}{e n}\\ &=\frac {2 e^{i a d} (e x)^{1+m} \left (c x^n\right )^{i b d} \, _2F_1\left (1,\frac {1}{2} \left (1-\frac {i (1+m)}{b d n}\right );-\frac {i (1+m)-3 b d n}{2 b d n};e^{2 i a d} \left (c x^n\right )^{2 i b d}\right )}{i (e+e m)-b d e n}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.35, size = 181, normalized size = 1.47 \begin {gather*} \frac {2 x^{1+i b d n} (e x)^m \, _2F_1\left (1,\frac {-i-i m+b d n}{2 b d n};-\frac {i (1+m+3 i b d n)}{2 b d n};x^{2 i b d n} \left (\cos \left (2 d \left (a+b \left (-n \log (x)+\log \left (c x^n\right )\right )\right )\right )+i \sin \left (2 d \left (a+b \left (-n \log (x)+\log \left (c x^n\right )\right )\right )\right )\right )\right ) \left (-i \cos \left (d \left (a+b \left (-n \log (x)+\log \left (c x^n\right )\right )\right )\right )+\sin \left (d \left (a+b \left (-n \log (x)+\log \left (c x^n\right )\right )\right )\right )\right )}{1+m+i b d n} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.08, size = 0, normalized size = 0.00 \[\int \left (e x \right )^{m} \csc \left (d \left (a +b \ln \left (c \,x^{n}\right )\right )\right )\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \left (e x\right )^{m} \csc {\left (a d + b d \log {\left (c x^{n} \right )} \right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {{\left (e\,x\right )}^m}{\sin \left (d\,\left (a+b\,\ln \left (c\,x^n\right )\right )\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________